Formal Specifications of Software Design Methods
نویسنده
چکیده
A new approach to the formal specification of software design methods, such as ER or State Transition Diagrams, is presented. A formal language based on semantic constraints is used to specify those methods. An example using the UML’s Activity Diagrams is given which illustrates the proposed approach. The aim of this work is to provide a bridge across the gap between the formal methods and the less formal ones used in software design.
منابع مشابه
Rigorous development of JavaCard applications
We present an approach to rigorous, tool supported design and development of JavaCard applications. We employ the Unified Modelling Language (UML) and formal methods for object oriented software development in our approach. Our goal is to make JavaCard applications robust “by design”, to make the development process independent of the JavaCard platform used and to enable applications to be veri...
متن کاملManaging Scope Creep with Design Patterns in Formal Specifications
Scope creep can affect the timeliness of the software engineering process. Scope creep often occurs when features are changed or added. Software specification languages provide a formal method for extrapolating and expanding requirements. Several design patterns provide object oriented constructs whose goal are to mitigate changes in code. Applying these design patterns to formal specifications...
متن کاملFormal Methods in the Classroom: The Logic of Real-Time Software Design
In recent years, much progress has been made towards the development of mathematical methods (“formal methods”) through which it is possible, in principle, to specify and design software to conform to specifications. In this paper, we provide an overview of how formal methods – and particularly real-time formal methods – can be used throughout the software development cycle, and what methods an...
متن کاملSpecifications of Software Architectures using Diagrams of Constructions
Formal methods promise the ultimate quality of software artifacts with mathematical proof of their correctness. Algebraic specification is one of such methods, providing formal specifications of system components suitable for verification of correctness of all individual steps in the software development process, and hence of the entire development process and of the resulting program. In this ...
متن کاملAn Authoring Tool for Informal and Formal Requirements Specifications
We describe foundations and design principles of a tool that supports authoring of informal and formal software requirements specifications simultaneously and from a single source. The tool is an attempt to bridge the gap between completely informal requirements specifications (as found in practice) and formal ones (as needed in formal methods). The user is supported by an interactive syntax-di...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999